Issue1391b.agda:5,14-14
Issue1391b.agda:5,14: Parse error
:<ERROR>
 Set} → Set
...
